Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
21	374 IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 23, NO. 2, FEBRUARY 2015 Reverse Converter Design via Parallel-Prefix Adders: Novel Components, Methodology, and Implementations Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2015-08-24 04:33:50 Computer arithmetic Adder Binary logic 2N Integrated circuit Carry-save adder
22	From top-level to domain ontologies: Ecosystem classifications as a case study Thomas Bittner Department of Philosophy, Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences Nati Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-07-26 11:19:26 Ontology Information science Knowledge representation Technical communication Upper ontology First-order logic Binary relation Formal ontology Web Ontology Language Structure Mereology Ring
23	Eureka Math™ Tips for Parents Parents Grade PK Module 3 Add to Reading List Source URL: greatminds.net Language: English - Date: 2015-07-29 22:45:44 Mathematical logic Mathematical notation Binary operations Elementary arithmetic Potato Solanum Counting Ring Arithmetical hierarchy Addition Number Structure
24	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
25	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
26	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
27	CS61c: Combinational Logic Blocks J. Wawrzynek October 12, 2007 1 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-10-15 00:23:18 Computer arithmetic Binary logic Digital circuits Logic gates Adder Digital electronics Subtractor XOR gate Arithmetic logic unit Exclusive or Canonical normal form Carry flag
28	Fuzzy rough sets, fuzzy preorders and fuzzy topologies S.P. Tiwari Indian School of Mines, Dhanbad, India The relationship between rough set theory and topological spaces is wellknown. One central observation in Add to Reading List Source URL: irafm.osu.cz Language: English - Date: 2015-06-04 06:27:00 Order theory General topology Fuzzy logic Preorder Binary relation Topological space Rough set Closure operator Closure Kazimierz Kuratowski Alexandrov topology Fuzzy subalgebra
29	Introduction to the Grok Language Ric Holt, 5 May 2002 Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2002-05-16 17:36:40 Mathematical logic Binary relation Grok Knowledge Base Transitive closure Function Equality FO Cartesian product Finitary relation Closure
30	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology